Type checking for protocol role enactments via commitments
نویسندگان
چکیده
منابع مشابه
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper motivates and formalizes two aspects of contract correctness from the perspective of the preferences of the agents participating in them. A contract is safe for a participant if participating in the contract would not le...
متن کاملA correspondence between type checking via reduction and type checking via evaluation
We describe a derivational approach to proving the equivalence of different representations of a type system. Different ways of representing type assignments are convenient for particular applications such as reasoning or implementation, but some kind of correspondence between them should be proven. In this paper we address two such semantics for type checking: one, due to Kuan et al., in the f...
متن کاملCommunicative commitments: Model checking and complexity analysis
We refine CTLC, a temporal logic of social commitments that extends CTL to allow reasoning about commitments agents create when communicating and their fulfillment. We present axioms of commitments and their fulfillment and provide the associated BDD-based model checking algorithms. We also analyze the time complexity of CTLC model checking in explicit models (i.e., Kripke-like structures) and ...
متن کاملBusiness Modeling via Commitments
Existing computer science approaches to business modeling offer lowlevel abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns suc...
متن کاملTrustworthy Decision Making via Commitments
Existing approaches to calculate trust between agents rely on the strength of their relationships based on their degrees of friendship, the frequencies of their interactions, the sentiments extracted from their interactions, and so on. These approaches rely heavily on numerical measures and disregard the deep structure underlying trust. By contrast, we establish the idea of trust among agents b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Agents and Multi-Agent Systems
سال: 2018
ISSN: 1387-2532,1573-7454
DOI: 10.1007/s10458-018-9382-3